MAS中Agent属性冲突形式化描述及消解系统研究

由于多智能体系统(MAS)中各个Agent具有自治性、分布性和异构性等特征,导致MAS内部经常会出现冲突现象。首先,运用数学方法对MAS中存在的属性冲突进行形式化描述,并将其分为6类,针对每类冲突提出了相应的消解对策。其次,对属性冲突智能消解系统(AACIRS)流程框架进行了分析,并在此基础上建立了AACIRS系统,实现了MAS中属性冲突的消解。从而为解决MAS中Agent属性冲突提供了解决方案,为MAS的稳定运行提供了技术保证。     

A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations

In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket's departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.     

一种嵌入式系统中软硬件故障的划分方法

软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步.给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点.在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据.     

Meeting the growing safeguards burden

ABSTRACT

The International Atomic Energy Agency (IAEA) faces challenges in fulfilling its safeguards mandate as a result of an expanding safeguards burden and a relatively static budget. This dilemma has been exacerbated by the additional burdens of implementing the Joint Comprehensive Plan of Action (JCPOA) in Iran, but would not go away if implementation of the JCPOA were to end. There are three main areas of opportunity for the Agency: (1) budgetary expansion tied to changes in staffing policies, (2) changes in safeguards approaches, and (3) technological innovation. Barriers and limitations are associated with each approach, and advancing any of them will face a difficult political environment in Vienna.     

M&S中周期数据质量保证

数据的有效性与精确性在M&S全周期的校核、验证与确认过程中起着重要作用.从保证全生命周期的数据质量出发,说明了数据质量保证评估的体系结构,重点介绍了从数据采样到结论生成全周期中保证数据质量的基本原理和详细步骤.     

Priori information analysis of optocoupler accelerated degradation experiment based on failure mechanism verification test

The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions. It is necessary to use accelerated storage test to verify the storage life of long storage products. Especially for small sample products, it is very important to obtain prior information for the design and implementation of accelerated degradation test. In this paper, the optocoupler failure mechanism verification test is designed and the experimental results are analyzed and the prior information is obtained. The results show that optocouplers have two failure modes, one is sudden failure and the other is degradation failure; the maximum temperature stress of optocoupler can't exceed 140 °C; the increase of leakage current of optocoupler is caused by movable ions contaminating the LED chip. The surface leakage current is proportional to the adsorption amount. The increase of leakage current makes p-n junction tunneling effect occur which LEDs the failure of the optocoupler. The lifetime distribution model of the optocoupler is determined by the failure physics. The lifetime of the optocoupler is subject to the lognormal distribution. The degeneracy orbit of the optocoupler leakage current is described by a power law model. The estimated values of the orbital parameters are initially calculated and the parameters of its life distribution function are deduced. The above information lays a good foundation for the optimization design and data processing of the accelerated degradation experiment.     

Controlling Novichoks after Salisbury: revising the Chemical Weapons Convention schedules

ABSTRACT

Novichok agents are a class of nerve agents developed by the Soviet Union during the Cold War. In light of the use of a Novichok agent in Salisbury in March 2018, two sets of proposals to amend Schedule 1 of the 1993 Chemical Weapons Convention (CWC) have been put forth, one jointly by the United States, Canada, and the Netherlands, and the other by Russia. Both sets of proposals will be discussed and voted upon at the next Conference of States Parties of the Organisation for the Prohibition of Chemical Weapons (OPCW) in November 2019. If either set of proposals is approved, it will be the first time that the list of chemicals subject to verification under the CWC will have been modified. This viewpoint will discuss these proposals, and argue that, if adopted, the joint proposal and the portions of the Russian proposal upon which consensus can be reached would significantly strengthen the CWC by considerably expanding the coverage of its Schedule 1 and bringing Novichok agents firmly within the CWC’s verification system. We also argue that, since the OPCW Technical Secretariat did not deem the fifth group of chemicals proposed by Russia to meet the criteria for inclusion in Schedule 1, Russia should withdraw this part of its proposal from consideration. The proposals have also served an important purpose in clarifying the identity of the chemical agent used in the Salisbury incident, squarely placing it within one of the two families of Novichok agents described by the Russian chemical-weapons scientist and whistleblower Vil Mirzayanov. If either proposal is approved in November, it will be important to conduct a thorough assessment of key precursors for the synthesis of Novichok agents and assess the need to amend CWC schedules and national and multinational export-control lists accordingly.     

当前消防建审工作面临的挑战及对策

以我国从计划经济向社会主义市场经济转型的国情实际为出发点 ,结合WTO的规则要求 ,分析当前消防建审工作存在的问题 ,并提出应对方法和措施。     

可判定条件下的零知识证明

零知识证明是密码学关注的问题之一。在可判定条件下，运用代数学中群的共轭性质进行零知识证明，其实例就是数学中关于寻找共轭子的困难性问题。     

基于机器翻译的原型句蜕及其包装研究

首先简要介绍了HNC理论及其机器翻译观,结合机器翻译的难点与原型句蜕存在的普遍性,说明了解决原型句蜕变换的意义:接着对原型句蜕构成现象进行了描述,从汉英语义块构成对比分析中导出了汉英变换规则;从现有的机器翻译系统所暴露的问题中,说明原型句蜕变换对提高机器翻译质量的必要性和可行性;最后是对本文的结论和说明。